Entwurfsraumexploration eng gekoppelter paralleler Rechnerarchitekturen
نویسنده
چکیده
منابع مشابه
Characterizing the Behavior of Reactive Systems by Trace Sets*
The behavior of an asynchronous reactive system can be described by its set of action traces. In this paper, we investigate which properties a trace set fulfills describing a reactive system where input and output actions are distinguished. These properties reflect the fact that, for such a system, input actions can always occur. The required properties are discussed in the light of safety and ...
متن کاملA Functional Rephrasing of the Assumption/Commitment Specification Style
The assumption/commitment (also called rely/guarantee) style has been advocated for the speciication of interactive components of distributed systems. One of its motivations is to achieve modularity for state transition speciications of system components. It suggests the structuring of speciications into assumptions about the behavior of the component's environment and into commitments that are...
متن کاملA Functional Rephrasing of the Assumption Commitment Speci cation Style
The assumption commitment also called rely guarantee style has been advocated for the speci cation of interactive components of distri buted systems One of its motivations is to achieve modularity for state transition speci cations of system components It suggests the structuring of speci cations into assumptions about the behavior of the component s environment and into commitments that are fu...
متن کاملCONTENTS Contents �
We illustrate the use of functional system speci cations and their re nement in the development of system components by a simple case study The development includes the modular speci cation re nement and veri cation of system components We start the development with an informal description of the tasks of the case study and then step by step carry out the tasks formally The informal requirement...
متن کاملRealisierungskonzepte für die parallele Bearbeitung von Anfragen auf komplexen Objekten
Datenbanksysteme für Nicht-Standard-Anwendungsbereiche müssen besonderen Anforderungscharakteristika gerecht werden: Es ist nicht mit einer extrem hohen Anzahl paralleler Transaktionen zu rechnen, aber die auftretenden Anfragen sind sehr komplex und müssen möglichst schnell beantwortet werden. Dies soll durch Ausnutzung von Parallelität unterstützt werden. Anhand von vier verschiedenen Arten vo...
متن کامل